ABSTRACT Real-time graphical interval logic is a modal logic for reasoning about time in which the basic modality is the interval. The logic differs from other logics in that it has a natural intuitive graphical representation that resembles the timing diagrams drawn by system designers. We have developed an automted deduction system for the logic, which includes a theorem prover and a user interface. The theorem prover checks the validity of proofs in the logic and produces counterexamples to invalid proofs. (...) The user interface includes a graphical editor that enables the user to create graphical formulas on a workstation display, and a database and proof manager that tracks proof dependencies and allows graphical formulas to be stored and retrieved. In this paper we describe the logic, the automated deduction system, and an application to robotics. (shrink)

In this article, the authors study the problem of balance of trust and mistrust associated with the turbulence of modern society, redundancy, and heterogeneity of information and communication flows creating a contradictory picture of the world. Social networks are considered as one of the basic modern information resources creating previously unavailable opportunities for communication, interaction, information sharing, and commonality construction. Social networks users broadcast the experience of constructing communications in real daily life in the Internet community forming circles of ‘friends‘, (...) building a chain of weak social ties; but the problem of trusting ‘friends‘ remains not solved in global space. A survey of users of social networks, conducted as part of this study, demonstrates conflicting findings. The opinions of ‘friends‘ does not always have an impact on the degree of trusting events, information, groups, likes, and dislikes to other users. Users often trust strangers and less familiar people. The social networks demonstrates the demand for uniting ‘brige-building‘ trust. However, the trust remains extremely narrow throughout, leading to fragmentation and alienation of individuals from each other in an attempt to find their safe niche. Distrust of narrow and wide radius leads to far-reaching consequences and greater uncertainty in society, not creating the preconditions for openness and the vision of the future. (shrink)

Background: More and more quantitative information is becoming available about the risks of complications arising from medical treatment. In everyday practice, this raises the question whether each and every risk, however low, should be disclosed to patients. What could be good reasons for doing or not doing so? This will increasingly become a dilemma for practitioners.Objective: To report doctors’ views on whether to disclose or withhold information on low risks of complications.Methods: In a qualitative study design, 37 respondents were included. (...) Focus group interviews were held with 22 respondents and individual in-depth interviews with 15.Results: Doctors have doubts about disclosing or withholding information on complication risk, especially in a risk range of 1 in 200 to 1 in 10 000. Their considerations on whether to disclose or to withhold information depend on a complicated mix of patient and doctor-associated reasons; on medical and personal considerations; and on the kind and purpose of intervention.Discussion: Even though the degree of a risk is important in a doctor’s considerations, the severity of the possible complications and patients’ wishes and competencies have an important role as well. Respondents said that low risks should always be communicated when there are alternatives for the intervention or when the patient may prevent or mitigate the risk. When the appropriateness of disclosing risks is doubtful, doctors should always tell their patients that no intervention is without risk, give them the opportunity to gather all the information they need or want, and enable them to detect a complication at an early stage. (shrink)

In this paper, we argue that Human Research Ethics Committees (HRECs) have an obligation to clearly articulate, document and be accountable for the reasons for their decisions, and to make their documentation available for external scrutiny. We advance two arguments to support this claim. The first is that this is a legal obligation — that HRECs, by virtue of the way they are established under legislation, are required by law to provide statements of reasons. The second is an ethical argument (...) — even if the legal argument is flawed, there are still compelling ethical reasons for HRECs to operate in this way. We then give an example of what a statement of reasons from an HREC might look like, and urge HRECs to consider whether their decision-making and documentation could meet this model. (shrink)

There is widespread agreement among philosophers that William James's well-known attempt to justify religious faith in ‘The Will to Believe’ is a failure. But despite the fact that James wrote his essay as a reply to the ‘tough-minded’ ethics of belief represented by such thinkers as W. K. Clifford and T. H. Huxley, the reasons commonly given today for rejecting James's position seem to be mostly based on the same principle of intellectual ethics that motivated Clifford and Huxley. Clifford, it (...) may be recalled, maintained that ‘It is wrong always, everywhere, and for everyone, to believe anything upon insufficient evidence’. Although this is a rather rhetorical way of stating it, the principle is basically the same one adhered to by most scientists and philosophers who consider themselves rigorous and ‘objective’ thinkers. Even philosophers not associated with the hardheaded modern Anglo-American style of empiricism commonly pledge their allegiance to such a principle. For example, Brand Blanshard holds that the ‘main principle’ of the ethics of belief is that one should ‘equate one's assent to the evidence’ and he then goes on to criticize James, on the basis of this principle, for advocating self-deception and intellectual dishonesty. (shrink)

The reader of Demosthenes can hardly avoid the impression that there was something sadly awry with the Athenian naval system in the two decades prior to Chaeronea. The war in the north Aegean was essentially a naval war, and Demosthenes frequently enough blamedAthen's failure on her lack of preparation. ‘Why do you think, Athenians,… that all our expeditionary forces are too late for the critical moments?…In the business of the war and the preparation for it everything is in disorder, unreformed, (...) undefined. So it is that some news arrives, we appoint trierarchs, we give them the opportunity legally to get others to act in their stead, we consider provision of money, then it is decided that the metics and those “living out” should go on the ships, then again you yourselves, then to allow substitutes, and during these delays^the cause for which we would have been sailing is lost before we have sailed] For we spend the time for action on preparations, but the critical moments for action do not last as long as our dilatoriness and cautious procedures’ . This was spoken in 351 and it is much the same a decade later. (shrink)

It is known that the Restricted Predicate Calculus can be embedded in an elementary theory, the signature of which consists of exactly two equivalences. Some special models for the mentioned theory were constructed to prove this fact. Besides formal adequacy of these models, a question may be posed concerning their conceptual simplicity, "transparency" of interpretations they assigned to the two stated equivalences. In works known to us these interpretations are rather complex, and can be called "technical", serving only the purpose (...) of embedding. We propose a conversion method, which transforms an arbitrary model of RPC into some model of the elementary theory TR, which includes three equivalences. RPC is embeddable in TR, and it appears possible to assign some "natural" interpretations to three equivalences using the "Track of Relation " concept. (shrink)

Making data broadly accessible is essential to creating a medical information commons. Transparency about data-sharing practices can cultivate trust among prospective and existing MIC participants. We present an analysis of 34 initiatives sharing DNA-derived data based on public information. We describe data-sharing practices captured, including practices related to consent, privacy and security, data access, oversight, and participant engagement. Our results reveal that data-sharing initiatives have some distance to go in achieving transparency.